Section: New Software and Platforms

Clem

The Clem Toolkit  [68] (see Figure 9 ) is a set of tools devoted to design, simulate, verify and generate code for le  [18] [81] programs. le is a synchronous language supporting a modular compilation. It also supports automata possibly designed with a dedicated graphical editor and implicit Mealy machine definition.

Each le program is compiled later into lec and lea files. Then when we want to generate code for different backends, depending on their nature, we can either expand the lec code of programs in order to resolve all abstracted variables and get a single lec file, or we can keep the set of lec files where all the variables of the main program are defined. Then, the finalization will simplify the final equations and code is generated for simulation, safety proofs, hardware description or software code. Hardware description (Vhdl) and software code (C) are supplied for le programs as well as simulation. Moreover, we also generate files to feed the NuSMV model checker [65] in order to perform validation of program behaviors. In 2014, le supports data value for automata and clem is used in 2 research axes of the team (SAM and SynComp). clem is registered at the APP since May 2014.

Figure 9. The Clem Toolkit

The work on clem was published in [68] , [69] , [18] , [19] .

Web page: http://www-sop.inria.fr/teams/pulsar/projects/Clem/